翻訳と辞書
Words near each other
・ morphing
・ morse code
・ mortran
・ mos
・ mos technologies
・ mosaic
・ mosaic communications corporation
・ moscow ml
・ mosfet
・ mosiac
most general unifier
・ most significant bit
・ motd
・ mother
・ motherboard
・ motif
・ motion jpeg
・ motion picture experts group
・ motorola
・ motorola 14500b


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

most general unifier : FOLDOC
most general unifier
If U is the most general unifier of a set of expressions then any other unifier, V, can be expressed as V = UW, where W is another substitution.
See also unification.
(2000-03-07)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.